School of Computer Science BCS accreditation 2021 - 2026

Artificial Intelligence MEng (Hons) - 4.1.2 Knowledge and understanding of mathematical principles

COMP11120 Mathematical Techniques for Computer Science

The course consists of teaching such mathematical principles.

Assesement : Examination, Individual coursework

COMP11212 Fundamentals of Computation

The course exposes students to mathematical treatments of basic topics such as computability and complexity. It also gives experience in defining and using formal systems and notations (e.g. grammars), and reasoning about such system

Assesement : Examination, Individual coursework

COMP12111 Fundamentals of Computer Engineering

Boolean algebra and binary arithmetic

Assesement : Examination, Lab work

COMP13212 Data Science

The course covers statistical principles, including quantification of uncertainty and hypothesis testing. Probabilistic reasoning including Bayesian reasoning is covered.

Assesement : Examination, Lab work

COMP15111 Fundamentals of Computer Architecture

Boolean algebra is an important part of the course.

Assesement : Examination, Individual coursework

COMP24011 Introduction to AI

Material and exercises on automated diagnosis and vehicle odeometry develop knowledge and understanding of probabilitistic reasoning. Material and exercises on natural language inference and planning develop knowledge and understanding of the application of logic in reasoning.

Assesement : Examination, Lab work

COMP24112 Machine Learning

This courses requires understanding of the mathematical principles that support the design and derivation of machine learning algorithms.

Assesement : Examination

COMP24412 Knowledge Based AI

This course addresses a range of issues from mathematical logic, and students are expected to understand the trade-offs between expressive power and computational complexity that these involve.

Assesement : Examination, Individual coursework, Lab work

COMP26020 Programming Languages & Paradigms

There is some light use of mathematical notation in relation to programming, compilation, concurrency

Assesement : Examination

COMP26120 Algorithms and Data Structures

Mathematical principles are core to the course and are applied directly to the design of solutions.

Assesement : Examination, Individual coursework, Lab work

COMP30040 Third Year Project Laboratory

Such knowledge is required in a small number of projects

Assesement : Individual coursework